<HTML><HEAD><TITLE>integers(+Vars)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(fd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>integers(+Vars)</H1>
Constrains Vars to be integers.
<DL>
<DT><EM>Vars</EM></DT>
<DD>List of variables or integers.
</DD>
</DL>
<H2>Description</H2>
  Constrains the list Vars to be integers. If Vars contains non-domain 
  variable, such variables will be given the default domain.
<H3>Fail Conditions</H3>
   Fails if Vars contains non-integers, or variables with non-integer domains.
<H3>Resatisfiable</H3>
  No.
<H3>Exceptions</H3>
<DL>
<DT><EM>(5) type error </EM>
<DD>Vars is a variable.
</DL>

</BODY></HTML>
